(* $Id:$ *)

open Llvm
open Llvm_bitreader
open Llvm_analysis

let c = create_context ()
let mb = MemoryBuffer.of_file "test.bc"
let m = parse_bitcode c mb
let _ = assert_valid_module m
let _ =	iter_functions view_function_cfg m;;
